and constructive

Results: 779



#Item
91

Formal Baire space in constructive set theory Giovanni Curi and Michael Rathjen∗ Dipartimento di Matematica, Universit`a di Padova Via Trieste, Padova, Italy (G. Curi). Department of Pure M

Add to Reading List

Source URL: www1.maths.leeds.ac.uk

Language: English
    92

    Andrei Rodin, Constructive Axiomatic Method and Modern Physics In 1900 David Hilbert announced his famous list of then-opened mathematical problems; the problem number 6 in this list is the axioma

    Add to Reading List

    Source URL: philomatica.org

    Language: English - Date: 2015-09-20 07:42:25
      93

      Constructive Convex Analysis and Disciplined Convex Programming Stephen Boyd and Steven Diamond and Jaehyun Park EE & CS Departments Stanford University

      Add to Reading List

      Source URL: stanford.edu

      Language: English - Date: 2016-04-11 02:24:13
        94

        Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience Michael Rathjen Department of Pure Mathematics University of Leeds, Leeds LS2 9JT, England E-mail:

        Add to Reading List

        Source URL: www1.maths.leeds.ac.uk

        Language: English - Date: 2013-04-19 06:45:40
          95

          Algorithms for Calculating Cyclotomic Polynomials Andrew Arnold (), Michael Monagan () Centre for Experimental and Constructive Mathematics (CECM), Simon Fraser University What are cycloto

          Add to Reading List

          Source URL: www.cecm.sfu.ca

          Language: English - Date: 2009-08-05 14:21:26
            96

            Completeness and Decidability Results for CTL in Constructive Type Theory Christian Doczkal Gert Smolka

            Add to Reading List

            Source URL: www.ps.uni-saarland.de

            Language: English - Date: 2016-03-03 08:31:10
              97

              On Constructive Network Coding for Multiple Unicasts Tracey C. Ho, Yu-Han Chang and Keesook J. Han Abstract— We consider the problem of network coding across multiple unicasts. We develop, for wired and wireless networ

              Add to Reading List

              Source URL: www.its.caltech.edu

              Language: English - Date: 2006-10-16 14:39:48
                98

                Article Submitted to Journal of Symbolic Computation A Constructive Algebraic Hierarchy in Coq Herman Geuvers, Randy Pollack, Freek Wiedijk and Jan Zwanenburg Department of Computer Science, Nijmegen University, the Net

                Add to Reading List

                Source URL: www.cs.ru.nl

                Language: English - Date: 2004-01-15 09:13:28
                  99

                  Solving Linear Systems of Equations Over Cyclotomic Fields Liang Chen Computational Algebra Group Centre for Experimental and Constructive Mathematics

                  Add to Reading List

                  Source URL: www.cecm.sfu.ca

                  Language: English - Date: 2007-01-29 16:58:04
                    100

                    Under consideration for publication in Math. Struct. in Comp. Science Constructive analysis, types and exact real numbers Herman Geuvers, Milad Niqui, Bas Spitters, Freek Wiedijk Radboud University Nijmegen, NL

                    Add to Reading List

                    Source URL: www.cs.ru.nl

                    Language: English - Date: 2007-03-28 09:14:59
                      UPDATE